1

SAT-Solving the Coverability Problem for Petri Nets

Year:
2004
Language:
english
File:
PDF, 148 KB
english, 2004